-
1 axiom
-
2 axiom
-
3 axiom
ˈæksɪəm сущ. аксиома, постулат to lay down an axiom ≈ сформулировать аксиому, выдвинуть постулат we accept the axiom that a straight line is the shortest distance between two points ≈ мы принимаем аксиому, гласящую, что кратчайшее расстояние между двумя точками есть прямая, их соединяющая Syn: principleаксиомаaxiom аксиома -
4 axiom
-
5 axiom
аксиома, постулат -
6 axiom
- action precondition axiom
- axiom of assignment
- axiom of iteration
- axiom of selection
- frame axiom
- logical axiom
- negative effect axiom
- positive effect axiom
- practicability axiom
- reducibility axiom
- self-organization axiom
- sequencing axiom
- successor state axiom
- unique name axiomEnglish-Russian dictionary of computer science and programming > axiom
-
7 axiom
аксиома
Любое предложение с точным содержанием, утверждаемое в качестве такового авторитетным источником
[ ГОСТ 34.320-96]
аксиома
Предложение, принимаемое за истину без доказательств.
Аксиомы являются исходными предложениями различных теорий. К аксиомам предъявляются требования непротиворечивости, независимости и полноты. Примером аксиомы является утверждение: "через две точки можно провести только одну прямую" линию.
Нередко аксиомы являются отправными пунктами программирования, определяя то, что должно быть истинным. Аксиомы имеют опытное происхождение и являются основой доказательств многих других положений.
Аксиому также называют постулатом.
[ http://www.morepc.ru/dict/]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > axiom
-
8 axiom
аксиома; принципBurnet's axiom — принцип Барнета ( феномен толерантности организма по отношению к собственным тканям)
precommitment axiom — теория прекоммитированных лимфоцитов, теория Лёфковица
-
9 axiom of choice
аксиома выбора, аксиома произвольного выбора -
10 аксиома мощности
Большой англо-русский и русско-английский словарь > аксиома мощности
-
11 axiom
а) постулат, исходное положение теории -
12 axiom
а) постулат, исходное положение теории•The New English-Russian Dictionary of Radio-electronics > axiom
-
13 axiom
-
14 аксиома выбора
Большой англо-русский и русско-английский словарь > аксиома выбора
-
15 аксиома присваивания
Большой англо-русский и русско-английский словарь > аксиома присваивания
-
16 аксиома цикла
Большой англо-русский и русско-английский словарь > аксиома цикла
-
17 axiom of accessibility
аксиома о достижимых кардиналахБольшой англо-русский и русско-английский словарь > axiom of accessibility
-
18 axiom of assignment
Большой англо-русский и русско-английский словарь > axiom of assignment
-
19 axiom of choice
Большой англо-русский и русско-английский словарь > axiom of choice
-
20 axiom of iteration
Большой англо-русский и русско-английский словарь > axiom of iteration
См. также в других словарях:
АКСИОМА — (axiom) Самоочевидное утверждение, т. е. утверждение, относительно которого существует уверенность, что оно истинно, однако его приходится принимать на веру, поскольку оно не может быть доказано. Экономика. Толковый словарь. М.: ИНФРА М ,… … Экономический словарь
Axiom — Тип система компьютерной алгебры Разработчик независимая группа людей Операционная система кроссплатформенное программное обеспечение Лицензия модифицированная лицензия BSD Сайт … Википедия
Аксиома Вольфрама — является результатом исследований, осуществленных Стивеном Вольфрамом[1] в поиске кратчайшей аксиомы из одного уравнения, эквивалентной аксиомам булевой алгебры (или логике высказываний). Результатом[2] его поиска стала аксиома с шестью… … Википедия
аксиома — ы ж. axiome m., нем. Axiom <, гр. axiôma. 1547. Лексис.1. Отправное положение какой л. науки, принимаемое без доказательств. Сл. 18. Логическия и Онтологическия аксиомы. Брян. 1799 4. || чаще мн. Непреложные правила какой л. науки, искусства;… … Исторический словарь галлицизмов русского языка
аксиома — Любое предложение с точным содержанием, утверждаемое в качестве такового авторитетным источником [ГОСТ 34.320 96] аксиома Предложение, принимаемое за истину без доказательств. Аксиомы являются исходными предложениями различных теорий. К аксиомам… … Справочник технического переводчика
аксиома сходимости — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN reducibility axiom … Справочник технического переводчика
АКСИОМА — (axiom) (и в геометрии, и в социальной теории) не нуждающееся в доказательстве утверждение, постулат модели или теории, из которых могут быть получены другие суждения. См. Формальная теория и формализация теории … Большой толковый социологический словарь
АКСИОМА — (AXIOM) Принцип или фундаментальное допущение в рамках теоретической системы, из которого выводятся другие положения более частного характера … Социологический словарь
axiom — Аксиома … Вестминстерский словарь теологических терминов
аксиома — Немецкое – Axiom. Французское – axiome. Латинское – axioma. Греческое – axioma (бесспорное, общепринятое). В русском языке слово «аксиома» известно с начала XVIII в. (1717 г.). По мнению многих исследователей, слово было заимствовано… … Этимологический словарь русского языка Семенова
Аксиома бесконечности — Аксиомой бесконечности (Axiom of infinity) называется следующее высказывание теории множеств: , где Аксиома бесконечности провозглашает существование [по меньшей мере одного] бесконечного множества, то есть множества, которое состоит из … Википедия